1. $P_{1}$ : $\mathbb{P}$
\\[0ex]2. $P_{2}$ : $\mathbb{P}$
\\[0ex]3. $Q_{1}$ : $\mathbb{P}$
\\[0ex]4. $Q_{2}$ : $\mathbb{P}$
\\[0ex]5. $P_{1}$ $\Leftarrow\!\Rightarrow$ $P_{2}$
\\[0ex]6. $Q_{1}$ $\Leftarrow\!\Rightarrow$ $Q_{2}$
\\[0ex]7. $P_{2}$ $\vee$ $Q_{2}$
\\[0ex]$\vdash$  $P_{1}$ $\vee$ $Q_{1}$